PET

Benchmark
Model:egl v.1 (DTMC)
Parameter(s)N = 10, L = 2
Property:unfairA (prob-reach)
Invocation (default)
./pet.sh reachability --precision 0.000001 --relative-error --only-result -m egl.prism -p egl.props --property unfairA --const N=10,L=2
Execution
Walltime:431.63016510009766s
Return code:1
STDERR
Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
	at java.base/java.util.Arrays.copyOf(Arrays.java:3769)
	at org.roaringbitmap.ArrayContainer.increaseCapacity(ArrayContainer.java:606)
	at org.roaringbitmap.ArrayContainer.increaseCapacity(ArrayContainer.java:586)
	at org.roaringbitmap.ArrayContainer.add(ArrayContainer.java:150)
	at org.roaringbitmap.RoaringBitmap.add(RoaringBitmap.java:1066)
	at de.tum.in.naturals.set.RoaringNatBitSet.set(RoaringNatBitSet.java:125)
	at de.tum.in.naturals.set.AbstractNatBitSet.add(AbstractNatBitSet.java:57)
	at de.tum.in.pet.sampler.UnboundedSampler.sample(UnboundedSampler.java:156)
	at de.tum.in.pet.sampler.UnboundedSampler.run(UnboundedSampler.java:112)
	at de.tum.in.pet.implementation.reachability.ReachChecker.solve(ReachChecker.java:165)
	at de.tum.in.pet.implementation.reachability.ReachChecker.solve(ReachChecker.java:222)
	at de.tum.in.pet.implementation.reachability.ReachChecker.solveDtmc(ReachChecker.java:266)
	at de.tum.in.pet.implementation.reachability.ReachChecker.solve(ReachChecker.java:142)
	at de.tum.in.pet.implementation.reachability.ReachChecker.main(ReachChecker.java:356)
	at de.tum.in.pet.Main.main(Main.java:51)